home *** CD-ROM | disk | FTP | other *** search
/ PCGUIA 114 / PC Guia 114.iso / Software / Produtividade / Apache 2.0.52 / apache_2.0.52-win32-x86-no_ssl.msi / Data.Cab / F213260_manual.css < prev    next >
Encoding:
Cascading Style Sheet File  |  2004-03-27  |  18.7 KB  |  1,006 lines
  1. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  2.  * manual.css
  3.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  4.  
  5. /* Copyright 2002-2004 The Apache Software Foundation
  6.  *
  7.  * Licensed under the Apache License, Version 2.0 (the "License");
  8.  * you may not use this file except in compliance with the License.
  9.  * You may obtain a copy of the License at
  10.  *
  11.  *     http://www.apache.org/licenses/LICENSE-2.0
  12.  *
  13.  * Unless required by applicable law or agreed to in writing, software
  14.  * distributed under the License is distributed on an "AS IS" BASIS,
  15.  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  16.  * See the License for the specific language governing permissions and
  17.  * limitations under the License.
  18.  */
  19.  
  20. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  21.  * mainframe ;-)
  22.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  23. html {
  24.     font-size: 14px;
  25. }
  26.  
  27. body {
  28.     background-color: #fff;
  29.     color: #036;
  30.     padding: 0 1em 0 0;
  31.     margin: 0;
  32.     font-family: Arial, Helvetica, sans-serif;
  33.     font-weight: normal;
  34. }
  35.  
  36. pre, code {
  37.     font-family: "Courier New", Courier, monospace;
  38. }
  39.  
  40. strong {
  41.     font-weight: bold;
  42. }
  43.  
  44. q, em, var {
  45.     font-style: italic;
  46. }
  47.  
  48. span.transnote {
  49.     background-color: inherit;
  50.     color: #888;
  51. }
  52.  
  53. /* fixup IE & Opera
  54.  * otherwise they forget to inherit
  55.  * the computed font-size value
  56.  */
  57. table, code {
  58.     font-size: 1em;
  59. }
  60.  
  61. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  62.  * Links
  63.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  64.  
  65. /* normal links           */
  66. /* ====================== */
  67. a:link {
  68.     color: #0073c7;
  69.     background-color: inherit;
  70. }
  71.  
  72. a:visited {
  73.     color: #5A88B5;
  74.     background-color: inherit;
  75. }
  76.  
  77. a:link:hover,
  78. a:link:active,
  79. a:visited:hover,
  80. a:visited:active {
  81.     color: #0073c7;
  82.     background-color: #f0f0f0;
  83. }
  84.  
  85. /* hover on non-white backgrounds */
  86. tr.odd a:hover,
  87. tr.odd a:active,
  88. tr.header a:hover,
  89. tr.header a:active,
  90. div.note a:hover,
  91. div.note a:active,
  92. div.example a:hover,
  93. div.example a:active,
  94. div.warning a:hover,
  95. div.warning a:active,
  96. div#quickview a:hover,
  97. div#quickview a:active {
  98.     background-color: #fff;
  99.     color: #0073c7;
  100. }
  101.  
  102. /* code.module [links]    */
  103. /* ====================== */
  104. code.module,
  105. code.module a:link {
  106.     color: #8b4513;
  107.     background-color: inherit;
  108. }
  109.  
  110. code.module a:visited {
  111.     color: #bc8f8f;
  112.     background-color: inherit;
  113. }
  114.  
  115. code.module a:hover,
  116. code.module a:active {
  117.     color: #8b4513;
  118.     background-color: #f0f0f0;
  119. }
  120.  
  121. /* hover on non-white backgrounds */
  122. tr.odd code.module a:hover,
  123. tr.odd code.module a:active,
  124. tr.header code.module a:hover,
  125. tr.header code.module a:active,
  126. div.note code.module a:hover,
  127. div.note code.module a:active,
  128. div.example code.module a:hover,
  129. div.example code.module a:active,
  130. div.warning code.module a:hover,
  131. div.warning code.module a:active,
  132. div#quickview code.module a:hover,
  133. div#quickview code.module a:active {
  134.     background-color: #fff;
  135.     color: #8b4513;
  136. }
  137.  
  138. /* code.directive [links] */
  139. /* ====================== */
  140. code.directive,
  141. code.directive a:link {
  142.     color: #287f00;
  143.     background-color: inherit;
  144. }
  145.  
  146. code.directive a:visited {
  147.     color: #35a500;
  148.     background-color: inherit;
  149. }
  150.  
  151. code.directive a:hover,
  152. code.directive a:active {
  153.     color: #287f00;
  154.     background-color: #f0f0f0;
  155. }
  156.  
  157. /* hover on non-white backgrounds */
  158. tr.odd code.directive a:hover,
  159. tr.odd code.directive a:active,
  160. tr.header code.directive a:hover,
  161. tr.header code.directive a:active,
  162. div.note code.directive a:hover,
  163. div.note code.directive a:active,
  164. div.example code.directive a:hover,
  165. div.example code.directive a:active,
  166. div.warning code.directive a:hover,
  167. div.warning code.directive a:active,
  168. div#quickview code.directive a:hover,
  169. div#quickview code.directive a:active {
  170.     background-color: #fff;
  171.     color: #287f00;
  172. }
  173.  
  174. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  175.  * Headings
  176.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  177.  
  178. /* h1                     */
  179. /* ====================== */
  180. h1 {
  181.     padding: 0.2em;
  182.     margin: 0;
  183.     border: 1px solid #405871;
  184.     background-color: inherit;
  185.     color: #036;
  186.     text-decoration: none;
  187.     font-size: 22px;
  188.     font-weight: bold;
  189. }
  190.  
  191. /* h2                     */
  192. /* ====================== */
  193. h2 {
  194.     padding: 0.2em 0 0.2em 0.7em;
  195.     margin: 0 0 0.5em 0;
  196.     text-decoration: none;
  197.     font-size: 18px;
  198.     font-weight: bold;
  199. }
  200.  
  201. .section h2 {
  202.     background-color: #405871;
  203.     color: #fff;
  204. }
  205.  
  206. .directive-section h2 {
  207.     background-color: #557697;
  208.     color: #fff;
  209. }
  210.  
  211. .category h2 {
  212.     background-color: #e5ecf3;
  213.     color: #405871;
  214.     font-size: 14px;
  215. }
  216.  
  217. /* take care of <a name>s inside */
  218. h2 a,
  219. h2 a:hover,
  220. h2 a:active {
  221.     color: inherit;
  222.     background-color: inherit;
  223.     text-decoration: none;
  224. }
  225.  
  226. /* h3, h4                 */
  227. /* ====================== */
  228. h3 {
  229.     background-color: inherit;
  230.     color: #036;
  231.     text-decoration: none;
  232.     font-weight: bold;
  233.     font-size: 16px;
  234.     margin: 1.3em 0 0.4em 0;
  235.     padding: 0;
  236. }
  237.  
  238. h4 {
  239.     background-color: inherit;
  240.     color: #036;
  241.     text-decoration: none;
  242.     font-weight: bold;
  243.     font-size: 14px;
  244.     margin: 1.3em 0 0.2em 0;
  245.     padding: 0;
  246. }
  247.  
  248. /* margin adjustment */
  249. h3 + *, h4 + * {
  250.     margin-top: 0;
  251. }
  252.  
  253. /* IE confuses the + * :-(
  254.  * so reset some things
  255.  */
  256. ul, .section table, .directive-section table {
  257.     margin-bottom: 1em;
  258. }
  259.  
  260. /* titles for
  261.  * examples, notes and warnings
  262.  */
  263. div.example h3,
  264. div.note h3,
  265. div.warning h3 {
  266.     margin: 0 0 0.5em 0;
  267.     text-align: left;
  268.     font-size: 14px;
  269. }
  270.  
  271. /* sidebar */
  272. div#quickview h3 {
  273.     margin: 1em 0 0.3em 0.5em;
  274.     font-size: 15px;
  275. }
  276.  
  277. div#quickview h3.directives {
  278.     margin-top: 0.3em;
  279. }
  280.  
  281. /* take care of <a name>s inside */
  282. h3 a,
  283. h3 a:hover,
  284. h3 a:active,
  285. h4 a,
  286. h4 a:hover,
  287. h4 a:active {
  288.     color: inherit;
  289.     background-color: inherit;
  290.     text-decoration: none;
  291. }
  292.  
  293. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  294.  * Up & Top helper images
  295.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  296.  
  297. /* arrow left             */
  298. /* ====================== */
  299. div.up {
  300.     width: 30px;
  301.     height: 20px;
  302.     padding: 0;
  303.     margin: -20px 0 1px 0;
  304.     text-align: center;
  305.     vertical-align: top;
  306. }
  307.  
  308. div.up img {
  309.     vertical-align: top;
  310.     width: 11px;
  311.     height: 11px;
  312.     border-style: none;
  313. }
  314.  
  315. /* arrow up (to page top) */
  316. /* ====================== */
  317. div.top {
  318.     width: 30px;
  319.     padding: 0 0 0 30px;
  320.     margin: 0;
  321. }
  322.  
  323. div.top img {
  324.     margin-top: 0.5em;
  325.     vertical-align: bottom;
  326.     width: 11px;
  327.     height: 11px;
  328.     border-style: none;
  329. }
  330.  
  331. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  332.  * Tables
  333.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  334.  
  335. /* general                */
  336. /* ====================== */
  337. table {
  338.     border: 1px solid #aaa;
  339.     border-collapse: collapse;
  340.     padding: 2px;
  341.     margin-top: 0.5em;
  342.     margin-bottom: 0;
  343. }
  344.  
  345. td, th {
  346.     empty-cells: show; /* show border around empty cells */
  347.     padding: 0.1em 0.2em;
  348.     vertical-align: top;
  349.     text-align: left;
  350.     line-height: 1.3em;
  351. }
  352.  
  353. th {
  354.     font-weight: bold;
  355. }
  356.  
  357. td.centered {
  358.     text-align: center;
  359. }
  360.  
  361. tr.odd { /* for large tables alternating colors */
  362.     background-color: #f2f2f2;
  363. }
  364.  
  365. tr.header, tr.header th {
  366.     background-color: #e2e2e2;
  367.     border-top: 1px solid #aaa;
  368.     border-bottom: 1px solid #aaa;
  369. }
  370.  
  371. /* bordered table cells   */
  372. /* ====================== */
  373.  
  374. /* turn off borders in tables nested in
  375.  * bordered tables per default
  376.  */
  377. table.bordered table td,
  378. table.bordered table th {
  379.     border-style: none;
  380. }
  381.  
  382. table.bordered td,
  383. table.bordered th,
  384. table table.bordered td,
  385. table table.bordered th {
  386.     border: 1px solid #aaa;
  387. }
  388.  
  389. /* index page layout table */
  390. /* ======================= */
  391. body#index-page div#page-content {
  392.     width: 100%; /* IE fun */
  393. }
  394.  
  395. body[id]#index-page div#page-content {
  396.     width: auto; /* reasonable browsers. */
  397. }
  398.  
  399. table#indextable {
  400.     width: 100%;
  401.     border-collapse: collapse;
  402.     border: 0 none;
  403. }
  404.  
  405. table#indextable td {
  406.     width: 33.3%;
  407.     border-left: 1px solid #aaa;
  408.     padding-top: 0;
  409.     padding-bottom: 0;
  410. }
  411.  
  412. table#indextable td.col1 {
  413.     border-left: 0 none;
  414.     padding-left: 0;
  415. }
  416.  
  417. table#indextable td.col3 {
  418.     padding-right: 0;
  419. }
  420.  
  421. /* mod/dir. overview table and quick reference  */
  422. /* ============================================ */
  423. table.module th,
  424. table.directive th {
  425.     white-space: nowrap;
  426. }
  427.  
  428. table.qref {
  429.     border-collapse: collapse;
  430.     width: 100%;
  431. }
  432.  
  433. table.qref td {
  434.     border-style: none solid;
  435.     border-color: #aaa;
  436.     border-width: 1px;
  437. }
  438.  
  439. table.qref td.descr {
  440.     padding-left: 1em;
  441.     font-size: 13px;
  442. }
  443.  
  444. table#legend {
  445.     width: 100%;
  446.     border-style: none;
  447.     border-width: 0;
  448.     vertical-align: bottom;
  449.     padding: 0;
  450.     margin: 0;
  451. }
  452.  
  453. table#legend td {
  454.     vertical-align: bottom;
  455.     margin: 0;
  456.     padding: 0;
  457. }
  458.  
  459. table#legend td.letters {
  460.     width: 100%;
  461.     padding-bottom: 0.5em;
  462. }
  463.  
  464. table#legend table {
  465.     vertical-align: bottom;
  466.     margin: 0 0 0 0.4em;
  467.     padding: 0;
  468.     height: 7.5em;
  469. }
  470.  
  471. table#legend table td,
  472. table#legend table th {
  473.     vertical-align: middle;
  474.     padding: 0.1ex 0.2em;
  475.     line-height: 1em;
  476.     white-space: nowrap;
  477. }
  478.  
  479. /* related modules & dir. */
  480. /* ====================== */
  481.  
  482. /* assuming, all links are enclosed by
  483.  * <code class="directive"> or
  484.  * <code class="module">
  485.  */
  486.  
  487. table.related {
  488.     border-collapse: separate;
  489. }
  490.  
  491. table.related th {
  492.     padding: 0.2ex 0.3em;
  493.     background-color: #e5ecf3;
  494.     color: #405871;
  495.     vertical-align: middle;
  496. }
  497.  
  498. table.related td {
  499.     padding: 0.2ex 0.3em;
  500. }
  501.  
  502. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  503.  * Lists
  504.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  505.  
  506. /* list default values    */
  507. /* ====================== */
  508. ul {
  509.     list-style-type: disc;
  510. }
  511.  
  512. ul ul {
  513.     list-style-type: square;
  514. }
  515.  
  516. ul ul ul {
  517.     list-style-type: circle;
  518. }
  519.  
  520. li, dt, dd {
  521.     line-height: 1.3em;
  522. }
  523.  
  524. dt {
  525.     margin-top: 0.5em;
  526.     font-weight: bold;
  527. }
  528.  
  529. ol li {
  530.     margin-top: 0.5em;
  531. }
  532.  
  533. ol.up-A {
  534.     list-style-type: upper-alpha;
  535. }
  536.  
  537. ol.lo-A {
  538.     list-style-type: lower-alpha;
  539. }
  540.  
  541. dd.separate {
  542.     margin-bottom: 2em;
  543. }
  544.  
  545. li.separate {
  546.     margin-bottom: 1em;
  547. }
  548.  
  549. /* table of contents      */
  550. /* ====================== */
  551. #toc,
  552. #topics {
  553.     margin: 0 0 1em 0;
  554.     padding: 0;
  555. }
  556.  
  557. #toc li,
  558. #topics li {
  559.     list-style-type: none;
  560.     margin: 0;
  561.     padding: 0;
  562. }
  563.  
  564. /* see also               */
  565. /* ====================== */
  566. .seealso {
  567.     margin: 0 0 1em 0;
  568.     padding: 0;
  569. }
  570.  
  571. .seealso li {
  572.     list-style-type: none;
  573.     margin: 0;
  574.     padding: 0 0 0 34px;
  575. }
  576.  
  577. /* related modules & dir. */
  578. /* ====================== */
  579. table.related td ul,
  580. table.related td li {
  581.     list-style-type: none;
  582.     margin: 0;
  583.     padding: 0;
  584. }
  585.  
  586. /* list of all directives */
  587. /* ====================== */
  588. div#directive-list ul {
  589.     margin: 0;
  590.     padding: 0;
  591. }
  592.  
  593. /* indextable */
  594. /* ========== */
  595. table#indextable td ul {
  596.     list-style-type: none;
  597.     margin: 0 0 1em 0.5em;
  598.     padding: 0 0 0 0;
  599. }
  600.  
  601. table#indextable td ul li {
  602.     margin-top: 0.3em;
  603. }
  604.  
  605. /* sidebar                */
  606. /* ====================== */
  607. div#quickview li {
  608.     font-size: 13px;
  609. }
  610.  
  611. div#quickview ul {
  612.     margin: 0 0 15px 0;
  613.     padding: 0;
  614. }
  615.  
  616. div#quickview ul#toc {
  617.     margin: 0 0 0 0.5em;
  618.     padding: 0;
  619. }
  620.  
  621. #module-index div#quickview ul#toc,
  622. #manual-page div#quickview ul#toc {
  623.     margin-left: 0;
  624. }
  625.  
  626. div#quickview ul#toc li {
  627.     margin: 0;
  628.     padding: 0;
  629.     list-style-type: none;
  630. }
  631.  
  632. div#quickview li img {
  633.     display: none;
  634. }
  635.  
  636. #module-index div#quickview ul#toc,
  637. #manual-page div#quickview ul#toc,
  638. div#quickview #topics,
  639. div#quickview .seealso {
  640.     padding-left: 15px;
  641. }
  642.  
  643. #module-index div#quickview ul#toc li,
  644. #manual-page div#quickview ul#toc li,
  645. div#quickview #topics li,
  646. div#quickview .seealso li {
  647.     margin: 0.4em 0 2px 0;
  648.     padding: 0;
  649.     list-style-type: square;
  650.     list-style-position: outside;
  651. }
  652.  
  653. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  654.  * main page sections
  655.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  656.  
  657. /* page header            */
  658. /* ====================== */
  659. div#page-header {
  660.     margin-left: 30px;
  661. }
  662.  
  663. div#page-header img {
  664.     padding: 0;
  665.     display: block;
  666.     margin: -70px 0 1px 2em;
  667.     width: 248px;
  668.     height: 70px;
  669. }
  670.  
  671. div#page-header p.apache {
  672.     background-color: #405871;
  673.     color: #fff;
  674.     padding: 0 0 0 248px;
  675.     margin: 0;
  676.     text-align: center;
  677.     vertical-align: middle;
  678.     font-size: 16px;
  679.     font-weight: bold;
  680.     line-height: 29px;
  681. }
  682.  
  683. div#page-header p.menu {
  684.     text-align: right;
  685.     font-size: 13px;
  686.     margin: 30px 0 0.5em 0;
  687.     padding: 0;
  688. }
  689.  
  690. /* breadcrumb navigation */
  691. div#path {
  692.     margin: 0.2em 0 1.2em 30px;
  693.     padding: 0;
  694.     font-size: 13px;
  695. }
  696.  
  697. /* content sections       */
  698. /* ====================== */
  699. div#preamble {
  700.     padding-bottom: 1em;
  701.     margin-left: 30px;
  702. }
  703.  
  704. div.section,
  705. div.directive-section {
  706.     margin: -1.2em 0 0 60px;
  707.     padding: 0;
  708. }
  709.  
  710. .section p,
  711. .directive-section p {
  712.     margin: 0 0 1em 0;
  713.     padding: 0;
  714. }
  715.  
  716. /* look for this on directive
  717.  * list pages
  718.  */
  719. div#directive-list {
  720.     margin-left: 30px;
  721.     padding: 0 0 1em 1em;
  722. }
  723.  
  724. div#directive-ref {
  725.     margin: -1em 0 0 0;
  726.     padding: 0 0 1em 30px;
  727.     width: 100%; /* IE is BAD (broken as designed) */
  728. }
  729.  
  730. div[id]#directive-ref { /* a big sorry to ICab, Amaya (and old Konquerors?) */
  731.     width: auto; /* other browsers are fine ;-) */
  732. }
  733.  
  734. /* sidebar position: right */
  735. div#quickview {
  736.     position: absolute;
  737.     top: 5.5em;
  738.     right: 1em;
  739.     margin-left: 0;
  740.     margin-top: 40px;
  741.     padding: 4px;
  742.     width: 13.5em;
  743.     background-color: #f0f0f0;
  744.     color: inherit;
  745. }
  746.  
  747. /* -> move content left */
  748. div#page-content {
  749.     padding-top: 0;
  750.     margin-right: 13em;
  751.     padding-right: 30px;
  752. }
  753.  
  754. /* unsqueeze on some pages... */
  755. body.no-sidebar div#page-content,
  756. body#index-page div#page-content {
  757.     margin-right: 0;
  758.     padding-right: 0;
  759. }
  760.  
  761. body#index-page div#page-content {
  762.     margin-left: 30px;
  763.     padding-bottom: 1em;
  764. }
  765.  
  766. /* in general */
  767. p {
  768.     line-height: 1.3em;
  769. }
  770.  
  771. /* translations           */
  772. /* ====================== */
  773. .toplang {
  774.     padding: 0;
  775.     margin: 0.2em 0.2em 1em 0;
  776. }
  777.  
  778. .bottomlang {
  779.     padding: 0;
  780.     margin: 0 0.2em 0.2em 0;
  781. }
  782.  
  783. .toplang p,
  784. .bottomlang p {
  785.     font-size: 13px;
  786.     text-align: right;
  787.     background-color: inherit;
  788.     color: #ccc;
  789.     margin: 0;
  790.     padding: 0;
  791. }
  792.  
  793. .toplang p span,
  794. .bottomlang p span {
  795.     background-color: inherit;
  796.     color: #036;
  797. }
  798.  
  799. .toplang p a:link,
  800. .toplang p a:visited,
  801. .bottomlang p a:link,
  802. .bottomlang p a:visited {
  803.     text-decoration: none;
  804.     font-weight: bold;
  805. }
  806.  
  807. .toplang p a:hover,
  808. .toplang p a:active,
  809. .bottomlang p a:hover,
  810. .bottomlang p a:active {
  811.     font-weight: bold;
  812. }
  813.  
  814. /* page footer            */
  815. /* ====================== */
  816. div#footer {
  817.     margin-left: 30px;
  818.     font-size: 13px;
  819.     border-top: 1px solid #405871;
  820.     padding-top: 0.2em;
  821. }
  822.  
  823. div#footer p.apache {
  824.     float: left;
  825.     text-align: left;
  826.     padding: 0 0 1em 0;
  827.     margin-top: 0;
  828. }
  829.  
  830. div#footer p.menu {
  831.     float: right;
  832.     text-align: right;
  833.     margin-top: 0;
  834.     padding: 0 0 1em 0;
  835. }
  836.  
  837. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  838.  * subsections (examples, notes, warnings)
  839.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  840.  
  841. /* examples               */
  842. /* ====================== */
  843. div.example {
  844.     background-color: #e5ecf3;
  845.     color: #000;
  846.     padding: 0.5em;
  847.     margin: 1em 2em 1em 1em;
  848. }
  849.  
  850. /* example inside a note:
  851.  * blue in gray doesn't look good
  852.  * so simply draw a border around
  853.  * and keep it gray
  854.  */
  855. div.note div.example,
  856. div.warning div.example {
  857.     border: 1px solid #aaa;
  858.     background-color: transparent;
  859.     color: inherit;
  860.     margin-right: 1em;
  861. }
  862.  
  863. /* example inside table */
  864. table div.example {
  865.     margin-right: 1em;
  866. }
  867.  
  868. /* the following [block] elements
  869.  * may appear inside example...
  870.  */
  871. div.example p,
  872. div.example pre,
  873. div.example table {
  874.     padding: 0;
  875.     margin: 0;
  876. }
  877.  
  878. div.example p {
  879.     line-height: 1em;
  880. }
  881.  
  882. div.example pre,
  883. div.example p > code {
  884.     font-size: 13px;
  885. }
  886.  
  887. /* notes & warnings       */
  888. /* ====================== */
  889. div.note,
  890. div.warning {
  891.     background-color: #eee;
  892.     color: #036;
  893.     padding: 0.5em;
  894.     margin: 1em 2em 1em 1em;
  895. }
  896.  
  897. div.warning {
  898.     border: 1px solid #f00;
  899. }
  900.  
  901. div.note p,
  902. div.warning p {
  903.     margin: 0.5em 0 0 0;
  904.     padding: 0;
  905. }
  906.  
  907. div.note pre,
  908. div.warning pre {
  909.     font-size: 13px;
  910. }
  911.  
  912. /* inside table */
  913. table div.note,
  914. table div.warning {
  915.     margin-right: 1em;
  916. }
  917.  
  918. div.outofdate {
  919.     background-color: #ffffe0;
  920.     color: #036;
  921.     padding: 0.5em;
  922.     margin: 1em 2em 1em 1em;
  923. }
  924.  
  925. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  926.  * quotations, indented paragraphs, forms and figures
  927.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  928. p.letters {
  929.     margin: 1em 0 0 0;
  930. }
  931.  
  932. p.centered {
  933.     text-align: center;
  934. }
  935.  
  936. .letters {
  937.     text-align: center;
  938.     background-color: inherit;
  939.     color: #ccc;
  940. }
  941.  
  942. .letters a:link,
  943. .letters a:visited {
  944.     text-decoration: none;
  945.     font-weight: bold;
  946. }
  947.  
  948. .letters a:hover,
  949. .letters a:active {
  950.     font-weight: bold;
  951. }
  952.  
  953. blockquote p {
  954.     font-style: italic;
  955.     margin: 0;
  956. }
  957.  
  958. blockquote p.cite {
  959.     font-style: normal;
  960.     margin-top: 0;
  961.     margin-left: 2em;
  962. }
  963.  
  964. blockquote p.cite cite {
  965.     font-style: normal;
  966. }
  967.  
  968. p.indent {
  969.     margin-left: 2em;
  970.     margin-top: 1em;
  971. }
  972.  
  973. span.indent {
  974.     padding-left: 1.5em;
  975.     display: block;
  976. }
  977.  
  978. #index-page form {
  979.     text-align: center;
  980. }
  981.  
  982. #index-page form p {
  983.     line-height: 1.1em;
  984. }
  985.  
  986. #index-page form input {
  987.     font-size: 1em;
  988. }
  989.  
  990. p.figure {
  991.     margin-left: 2em;
  992.     font-style: italic;
  993. }
  994.  
  995. p.figure img {
  996.     border: 1px solid #aaa;
  997. }
  998.  
  999. p.figure dfn {
  1000.     font-weight: bold;
  1001. }
  1002.  
  1003. /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  1004.  * -> The End <-
  1005.  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  1006.